$\forall$$s$:POSet\{i\}, $a$, $b$:$\mid$$s$$\mid$. ($a$ $\leq$ $b$) $\Leftarrow\!\Rightarrow$ (($a$ $<$$s$ $b$) $\vee$ ($a$ = $b$))